logic logic exercise 1.1